/**
 * \file kernel/driver/pci/pci.h
 * \author Davide Gessa
 * \date 10-25-09
 */
#ifndef DRIVER_PCI_PCI_H
#define DRIVER_PCI_PCI_H

#include <klibc/ctype.h>
#include <driver.h>

uint32_t pci_config_wread(uint16_t, uint16_t, uint16_t, uint16_t);
uint32_t pci_get(uint8_t, uint8_t, device_t *);

#endif
